Kunz, César: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An Abstract Model of Certificate Translation

Barthe, Gilles, Kunz, César

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2011

Language:

english

File:

PDF, 937 KB

english, 2011

2

Product programs and relational program logics

Barthe, Gilles, Crespo, Juan Manuel, Kunz, César

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 728 KB

english, 2016

3

Influência da atividade física programada na pressão arterial de idosos hipertensos sob tratamento não-farmacológico

Barroso, Weimar Kunz Sebba, Jardim, Paulo César Brandão Veiga, Vitorino, Priscila Valverde, Bittencourt, Amanda, Miquetichuc, Flávia

Journal:

Revista da Associação Médica Brasileira

Year:

2008

File:

PDF, 127 KB

2008

4

Recoil separator ERNA: Measurement of 3He7Be

A. Di Leva, M. De Cesare, D. Schürmann, N. De Cesare, A. D’Onofrio, L. Gialanella, R. Kunz, G. Imbriani, A. Ordine, V. Roca, D. Rogalla, C. Rolfs, M. Romano, E. Somorjai, F. Strieder, F. Terrasi

Journal:

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Year:

2008

Language:

english

File:

PDF, 6.72 MB

english, 2008

5

First direct measurement of the total cross-section of12C(α,γ)16O

D. Schürmann, A. Di Leva, L. Gialanella, D. Rogalla, F. Strieder, N. De Cesare, A. D'Onofrio, G. Imbriani, R. Kunz, C. Lubritto, A. Ordine, V. Roca, C. Rolfs, M. Romano, F. Schümann, F. Terrasi, H. -P

Journal:

The European Physical Journal A / Hadrons and Nuclei

Year:

2005

Language:

english

File:

PDF, 211 KB

english, 2005

6

Study of the 6.05 MeV cascade transition in

D. Schürmann, A. Di Leva, L. Gialanella, R. Kunz, F. Strieder, N. De Cesare, M. De Cesare, A. DʼOnofrio, K. Fortak, G. Imbriani, D. Rogalla, M. Romano, F. Terrasi

Journal:

Physics Letters B

Year:

2011

Language:

english

File:

PDF, 357 KB

english, 2011

7

[IEEE 2013 IEEE 26th Computer Security Foundations Symposium (CSF) - New Orleans, LA, USA (2013.06.26-2013.06.28)] 2013 IEEE 26th Computer Security Foundations Symposium - Verified Computational Differential Privacy with Applications to Smart Metering

Barthe, Gilles, Danezis, George, Gregoire, Benjamin, Kunz, Cesar, Zanella-Beguelin, Santiago

Year:

2013

Language:

english

File:

PDF, 426 KB

english, 2013

8

: Measurement of

Di Leva, A., Gialanella, L., Kunz, R., Rogalla, D., Schürmann, D., Strieder, F., De Cesare, M., De Cesare, N., D’Onofrio, A., Fülöp, Z., Gyürky, G., Imbriani, G., Mangano, G., Ordine, A., Roca, V., Ro

Journal:

Physical Review Letters

Year:

2009

Language:

english

File:

PDF, 202 KB

english, 2009

9

[Phys. Rev. Lett. 102 , 232502 (2009)]

Di Leva, A., Gialanella, L., Kunz, R., Rogalla, D., Schürmann, D., Strieder, F., De Cesare, M., De Cesare, N., D’Onofrio, A., Fülöp, Z., Gyürky, G., Imbriani, G., Mangano, G., Ordine, A., Roca, V., Ro

Journal:

Physical Review Letters

Year:

2009

Language:

english

File:

PDF, 31 KB

english, 2009

10

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Preservation of Proof Pbligations for Hybrid Verification Methods

Barthe, Gilles, Kunz, César, Pichardie, David, Samborski-Forlese, Julián

Year:

2008

Language:

english

File:

PDF, 467 KB

english, 2008

11

[IEEE 2014 IEEE 27th Computer Security Foundations Symposium (CSF) - Vienna (2014.7.19-2014.7.22)] 2014 IEEE 27th Computer Security Foundations Symposium - Proving Differential Privacy in Hoare Logic

Barthe, Gilles, Gaboardi, Marco, Gallego Arias, Emilio Jesus, Hsu, Justin, Kunz, Cesar, Strub, Pierre-Yves

Year:

2014

Language:

english

File:

PDF, 318 KB

english, 2014

12

[ACM Press the 18th ACM SIGPLAN symposium - Shenzhen, China (2013.02.23-2013.02.27)] Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '13 - From relational verification to SIMD loop synthesis

Barthe, Gilles, Crespo, Juan Manuel, Kunz, Cesar, Gulwani, Sumit, Marron, Mark

Year:

2013

Language:

english

File:

PDF, 1.02 MB

english, 2013

13

Certificate translation for optimizing compilers

Barthe, Gilles, Grégoire, Benjamin, Kunz, César, Rezk, Tamara

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2009

Language:

english

File:

PDF, 909 KB

english, 2009

14

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Fully automated analysis of padding-based encryption in the computational model

Barthe, Gilles, Crespo, Juan Manuel, Grégoire, Benjamin, Kunz, César, Lakhnech, Yassine, Schmidt, Benedikt, Zanella-Béguelin, Santiago

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

15

[ACM Press the 7th workshop - Brussels, Belgium (2008.04.01-2008.04.01)] Proceedings of the 7th workshop on Foundations of aspect-oriented languages - FOAL '08 - Certificate translation for specification-preserving advices

Barthe, Gilles, Kunz, César

Year:

2008

Language:

english

File:

PDF, 326 KB

english, 2008

16

[IEEE 2012 IEEE 25th Computer Security Foundations Symposium (CSF) - Cambridge, MA, USA (2012.06.25-2012.06.27)] 2012 IEEE 25th Computer Security Foundations Symposium - Verified Security of Merkle-Damgård

Backes, Michael, Barthe, Gilles, Berg, Matthias, Gregoire, Benjamin, Kunz, Cesar, Skoruppa, Malte, Beguelin, Santiago Zanella

Year:

2012

Language:

english

File:

PDF, 532 KB

english, 2012

17

The natural history of cardiovascular risk factors in health professionals: 20-year follow-up

Jardim, Thiago Veiga, Sousa, Ana Luiza Lima, Povoa, Thais Inacio Rolim, Barroso, Weimar Kunz Sebba, Chinem, Brunela, Jardim, Luciana, Bernardes, Rafaela, Coca, Antonio, Jardim, Paulo Cesar Brandão Vei

Journal:

BMC Public Health

Year:

2015

Language:

english

File:

PDF, 638 KB

english, 2015

18

Distance Learning Course for Healthcare Professionals: Continuing Education in Tuberculosis

Cabral, Vagner Kunz, Valentini, Dirceu Felipe, Rocha, Marcos Vinícius Vieira, de Almeida, Carlos Podalírio Borges, Cazella, Sílvio Cesar, Silva, Denise Rossato

Journal:

Telemedicine and e-Health

Year:

2017

Language:

english

File:

PDF, 191 KB

english, 2017

19

Apolipoprotein B and angiotensin-converting enzyme polymorphisms and aerobic interval training: randomized controlled trial in coronary artery disease patients

Tamburus, N.Y., Verlengia, R., Kunz, V.C., César, M.C., Silva, E.

Journal:

Brazilian Journal of Medical and Biological Research

Year:

2018

Language:

english

File:

PDF, 577 KB

english, 2018

20

Interval training based on ventilatory anaerobic threshold increases cardiac vagal modulation and decreases high-sensitivity c-reative protein: randomized clinical trial in coronary artery disease

Tamburus, Nayara Y., Paula, Roberta F. L., Kunz, Vandeni C., César, Marcelo C., Moreno, Marlene A., Silva, Ester da

Journal:

Brazilian Journal of Physical Therapy

Year:

2015

Language:

english

File:

PDF, 1.32 MB

english, 2015

21

Hipertensão arterial e alguns fatores de risco em uma capital brasileira

Jardim, Paulo César B. Veiga, Gondim, Maria do Rosário Peixoto, Monego, Estelamaris Tronco, Moreira, Humberto Graner, Vitorino, Priscila Valverde de Oliveira, Souza, Weimar Kunz Sebba Barroso, Scala,

Journal:

Arquivos Brasileiros de Cardiologia

Year:

2007

Language:

english

File:

PDF, 297 KB

english, 2007

22

Treinamento aerobio e resistido, qualidade de vida e capacidade funcional de hipertensas

Povoa, Thais Inacio Rolim, Jardim, Paulo Cesar Brandao Veiga, Sousa, Ana Luiza Lima, Jardim, Thiago de Souza Veiga, Souza, Weimar Kunz Sebba Barroso de, Jardim, Luciana Sanches Veiga

Journal:

Revista Brasileira de Medicina do Esporte

Year:

2014

File:

PDF, 129 KB

2014

23

Automedida da pressão arterial para o controle das cifras tensionais e para a adesão ao tratamento

Souza, Weimar Kunz Sebba Barroso, Jardim, Paulo César Brandão Veiga, Brito, Ludmila Porto, Araújo, Fabrício Alves, Sousa, Ana Luíza Lima

Journal:

Arquivos Brasileiros de Cardiologia

Year:

2012

Language:

english

File:

PDF, 310 KB

english, 2012

24

Multiprofessional treatment of high blood pressure in very elderly patients

Jardim, Luciana Muniz S. S. Veiga, Jardim, Thiago Veiga, Souza, Weimar Kunz Sebba Barroso de, Pimenta, Camila Dutra, Sousa, Ana Luiza Lima, Jardim, Paulo César Brandão Veiga

Journal:

Arquivos Brasileiros de Cardiologia

Year:

2016

File:

PDF, 260 KB

2016

25

Multiprofessional treatment of high blood pressure in very elderly patients

Jardim, Luciana Muniz S. S. Veiga, Jardim, Thiago Veiga, Souza, Weimar Kunz Sebba Barroso de, Pimenta, Camila Dutra, Sousa, Ana Luiza Lima, Jardim, Paulo César Brandão Veiga

Journal:

Arquivos Brasileiros de Cardiologia

Year:

2016

Language:

english

File:

PDF, 260 KB

english, 2016

26

Hormonal assessment of participants in a long distance walk

de Souza, Haroldo Silva, Jardim, Thiago Veiga, Barroso, Weimar Kunz Sebba, de Oliveira Vitorino, Priscila Valverde, Souza, Ana Luiza Lima, Jardim, Paulo César Veiga

Journal:

Diabetology and Metabolic Syndrome

Year:

2019

Language:

english

File:

PDF, 613 KB

english, 2019

27

I RBH - First Brazilian Hypertension Registry

Jardim, Paulo César Brandão Veiga, Souza, Weimar Kunz Sebba Barroso de, Lopes, Renato Delascio, Brandão, Andréa Araújo, Malachias, Marcus V. Bolívar, Gomes, Marco Mota, Moreno Júnior, Heitor, Barbosa,

Journal:

Arquivos Brasileiros de Cardiologia

Year:

2016

Language:

english

File:

PDF, 250 KB

english, 2016

28

Hypotensive Effects of High Intensity Resistance Training to Muscle Failure in Hypertensive Postmenopausal Women

Carneiro, Juliana Alves, Vale, Arthur Ferreira, Gentil, Paulo, Jardim, Thiago Veiga, Souza, Weimar Kunz Sebba Barroso, Sousa, Ana Luiza Lima, Jardim, Paulo Cesar Brandão Veiga

Journal:

Medicine & Science in Sports & Exercise

Year:

2019

Language:

english

File:

PDF, 339 KB

english, 2019

29

Hypotensive Effects of High Intensity Resistance Training to Muscle Failure in Hypertensive Postmenopausal Women

Carneiro, Juliana Alves, Vale, Arthur Ferreira, Gentil, Paulo, Jardim, Thiago Veiga, Souza, Weimar Kunz Sebba Barroso, Sousa, Ana Luiza Lima, Jardim, Paulo Cesar Brandão Veiga

Journal:

Medicine & Science in Sports & Exercise

Year:

2019

File:

PDF, 339 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски